O objetivo do presente volume é apresentar à comunidade filosófica parte do trabalho realizado nos GTs de Filosofia da Libertação, Latino-americana e Africana e Filosofia e Raça durante o XIX Encontro Nacional da ANPOF (Goiânia, 2022), através de textos apresentados no XIX Encontro Nacional da ANPOF (Goiânia, 2022), ou frutos de discussões e debates realizados nos GTs supracitados. Agradecemos a todos, todas e todes que apresentaram seus trabalhos e/ou participaram ativamente das discussões que deram origem aos textos deste volume, enriquecendo (...) o debate filosófico e conferindo maior visibilidade e destaque a esses tópicos de pesquisa em nossa comunidade. -/- Os temas abordados e as bases epistemológicas do GT Filosofia da Libertação, Latino-americana e Africana e do GT Filosofia e Raça apresentam vários pontos de contato. Isso justifica esta publicação conjunta, que certamente incentivará a continuidade do diálogo entre os GTs e possibilitará a formação futura de novas agendas de pesquisa. As leitoras e os leitores deste livro têm a oportunidade de conhecer alguns dos trabalhos realizados pelos dois grupos e estão convidadas e convidados a participar das atividades realizadas pelos GTs. (shrink)

Sumário: 1. El caso del método científico, Alberto Oliva; 2. Un capítulo de la prehistoria de las ciencias humanas: la defensa por Vico de la tópica, Jorge Alberto Molina; 3. La figura de lo cognoscible y los mundos, Pablo Vélez León; 4. Lebenswelt de Husserl y las neurociencias, Vanessa Fontana; 5. El uso estético del concepto de mundos posibles, Jairo Dias Carvalho; 6. Realismo normativo no naturalista y mundos morales imposibles, Alcino Eduardo Bonella; 7. En la lógica de pragmatismo, Hércules (...) de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini; 8 La lógica, el tiempo y el lenguaje natural: un sistema formal para tiempos de portugués, Carlos Luciano Manholi. / Temas em filosofia contemporânea II / Jonas Rafael Becker Arenhart, Jaimir Conte, Cezar Augusto Mortari (orgs.) – Florianópolis : NEL/UFSC, 2016. 167 p. : tabs. - (Rumos da epistemologia ; v. 14); ISBN 978-85-87253-27-9 (papel); ISBN 978-85-87253-26-2 (e-book). (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

O presente artigo incide sobre o conceito de expressão no âmbito do pensamento leibniziano, pretendendo, a partir da sua análise, expor a crítica que Fernando Gil lhe tece, nomeadamente no que diz respeito à ideia de “causalidade expressiva”. Passando por vários conceitos leibnizianos como “substância simples”, “força”, “apetição” ou “entre-expressão”, o que se pretende analisar é a reflexão de Fernando Gil relativamente àquilo que o autor considera “a aporia da expressão leibniziana”, e, ainda, a sua reabilitação da inteligibilidade expressiva como (...) pensamento do contínuo, onde inteligibilidade, beleza e simplicidade se implicam mutuamente. (shrink)

Organization figures centrally in the understanding of biological systems advanced by both new mechanists and proponents of the autonomy framework. The new mechanists focus on how components of mechanisms are organized to produce a phenomenon and emphasize productive continuity between these components. The autonomy framework focuses on how the components of a biological system are organized in such a way that they contribute to the maintenance of the organisms that produce them. In this paper we analyze and compare these two (...) accounts of organization and argue that understanding biological organisms as cohesively integrated systems benefits from insights from both. To bring together the two accounts, we focus on the notions of control and regulation as bridge concepts. We start from a characterization of biological mechanisms in terms of constraints and focus on a specific type of mechanism, control mechanisms, that operate on other mechanisms on the basis of measurements of variables in the system and its environment. Control mechanisms are characterized by their own set of constraints that enable them to sense conditions, convey signals, and effect changes on constraints in the controlled mechanism. They thereby allow living organisms to adapt to internal and external variations and to coordinate their parts in such a manner as to maintain viability. Because living organisms contain a vast number of control mechanisms, a central challenge is to understand how they are themselves organized. With the support of examples from both unicellular and multicellular systems we argue that control mechanisms are organized heterarchically, and we discuss how this type of control architecture can, without invoking top-down and centralized forms of organizations, succeed in coordinating internal activities of organisms. (shrink)

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

Living organisms act as integrated wholes to maintain themselves. Individual actions can each be explained by characterizing the mechanisms that perform the activity. But these alone do not explain how various activities are coordinated and performed versatilely. We argue that this depends on a specific type of mechanism, a control mechanism. We develop an account of control by examining several extensively studied control mechanisms operative in the bacterium E. coli. On our analysis, what distinguishes a control mechanism from other mechanisms (...) is that it relies on measuring one or more variables, which results in setting constraints in the control mechanism that determine its action on flexible constraints in other mechanisms. In the most basic arrangement, the measurement process directly determines the action of the control mechanism, but in more complex arrangements signals mediate between measurements and effectors. This opens the possibility of multiple responses to the same measurement and responses based on multiple measurements. It also allows crosstalk, resulting in networks of control mechanisms. Such networks integrate the behaviors of the organism but also present a challenge in tailoring responses to particular measurements. We discuss how integrated activity can still result in differential, versatile, responses. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Few views are as widely held as the Standard View of Identity. Here I am concerned with minority views that depart from the standard account. First, I attempt to illuminate such views and the debates concerning them by identifying the principles of identity at issue, articulating some of the assumptions underlying the debates, and presenting some of the evidence used against the Standard View of Identity. Second, I enter two of these debates myself. I first defend two Non-Standard Views of (...) Identity from the charge that they violate a principle of identity, namely the Transitivity of Identity. I then present an overlooked consequence of another Non-Standard View of Identity that challenges the view on one of its own methodological principles. Third, I draw on recent work in ontological and parthood pluralism to show how one might be led to think that there is more than one way of being identical. That is, I show how one might be an identity pluralist. (shrink)

Despite numerous and increasing attempts to define what life is, there is no consensus on necessary and sufficient conditions for life. Accordingly, some scholars have questioned the value of definitions of life and encouraged scientists and philosophers alike to discard the project. As an alternative to this pessimistic conclusion, we argue that critically rethinking the nature and uses of definitions can provide new insights into the epistemic roles of definitions of life for different research practices. This paper examines the possible (...) contributions of definitions of life in scientific domains where such definitions are used most (e.g., Synthetic Biology, Origins of Life, Alife, and Astrobiology). Rather than as classificatory tools for demarcation of natural kinds, we highlight the pragmatic utility of what we call operational definitions that serve as theoretical and epistemic tools in scientific practice. In particular, we examine contexts where definitions integrate criteria for life into theoretical models that involve or enable observable operations. We show how these definitions of life play important roles in influencing research agendas and evaluating results, and we argue that to discard the project of defining life is neither sufficiently motivated, nor possible without dismissing important theoretical and practical research. (shrink)

Endocrinologists apply the idea of feedback loops to explain how hormones regulate certain bodily functions such as glucose metabolism. In particular, feedback loops focus on the maintenance of the plasma concentrations of glucose within a narrow range. Here, we put forward a different, organicist perspective on the endocrine regulation of glycaemia, by relying on the pivotal concept of closure of constraints. From this perspective, biological systems are understood as organized ones, which means that they are constituted of a set of (...) mutually dependent functional structures acting as constraints, whose maintenance depends on their reciprocal interactions. Closure refers specifically to the mutual dependence among functional constraints in an organism. We show that, when compared to feedback loops, organizational closure can generate much richer descriptions of the processes and constraints at play in the metabolism and regulation of glycaemia, by making explicit the different hierarchical orders involved. We expect that the proposed theoretical framework will open the way to the construction of original mathematical models, which would provide a better understanding of endocrine regulation from an organicist perspective. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

The article examines education in the information age, proposing an informational perspective. By analyzing the epistemology of informational learning, I offer a framework for understanding how individuals acquire knowledge, highlighting the role of design and models in active and constructive learning. Following this, the paper presents the UDL and ODDE educational models, outlining their key features and potential contributions. I then showcase the practical application of these models through case studies focusing on the use of AI to develop personalized learning (...) tools and inclusive environments. I propose EIML as a competence to address the abundance of information in learning and the need for the concept of reciprocity. (shrink)

O que é a «harmonia universal»? Uma causa, um efeito, um estado-de-coisas? Como Leibniz escreve a este respeito numa carta a Magnus Wedderkopf, a última razão para o intelecto divino e, consequentemente, a vontade de Deus, é a harmonia. Porém, como razão última, nada existe para lá da própria harmonia. Segundo o raciocínio leibniziano, a harmonia pode assim ser perspetivada não só como um estado-de-coisas, mas também como causa da própria organização das coisas. Muito embora a harmonia possa ser perspetivada (...) de diferentes modos, que manifestam uma unidade entre si, o foco desta análise incide justamente sobre a possibilidade de «perceber», «percecionar», ou melhor, «compreender» a harmonia universal. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

The new mechanists and the autonomy approach both aim to account for how biological phenomena are explained. One identifies appeals to how components of a mechanism are organized so that their activities produce a phenomenon. The other directs attention towards the whole organism and focuses on how it achieves self-maintenance. This paper discusses challenges each confronts and how each could benefit from collaboration with the other: the new mechanistic framework can gain by taking into account what happens outside individual mechanisms, (...) while the autonomy approach can ground itself in biological research into how the actual components constituting an autonomous system interact and contribute in different ways to realize and maintain the system. To press the case that these two traditions should be constructively integrated we describe how three recent developments in the autonomy tradition together provide a bridge between the two traditions: (1) a framework of work and constraints, (2) a conception of function grounded in the organization of an autonomous system, and (3) a focus on control. (shrink)

Theoretical accounts of development exhibit several internal tensions and face multiple challenges. They span from the problem of the identification of the temporal boundaries of development (beginning and end) to the characterization of the distinctive type of change involved compared to other biological processes. They include questions such as the role to ascribe to the environment or what types of biological systems can undergo development and whether they should include colonies or even ecosystems. In this chapter we discuss these conceptual (...) issues, and we argue that adopting an organizational approach may help solve or clarify them. -/- While development is usually identified with the achievement of an adult form with the capability to reproduce and therefore maintain a lineage, adopting the organizational approach may provide a different strategy, which focuses also on the maintenance of the current organization of the organism. By doing so an organizational approach favors a switch in perspective which consists in analyzing how organisms maintain their viability at each moment of development rather than considering them as going through intermediate stages of a process directed toward a specific goal state. This developmental dimension of biological organization has yet to be given a general and detailed analysis within the organizational theoretical perspective, apart from some preliminary attempts. How a biological organization is maintained through a series of radical organizational changes and what these changes are issues that still require clarification. In this chapter we offer the beginnings of such an analysis of developmental transitions, understood as changes in functionality brought forth by regulatory mechanisms in the context of the continued maintenance of organizational viability at every step. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Jane Friedman claims that when we inquire, there is a tension between the instrumental normativity of our inquiries and some basic epistemic norms: The former forbids what the latter permit. Moreover, she argues that since the instrumental normativity of inquiry is epistemic, the previous tension shows that our current conception of epistemic normativity is incoherent and needs to be revised. To solve the problem, she suggests that all our epistemic norms should be considered “zetetic”, namely, norms of inquiry. In this (...) paper, I will argue that the instrumental normativity of inquiry Friedman depicts is inaccurate. I will propose the following alternative picture: All our reasons to inquire and take means to answer our questions are instrumental and can be derivative from the epistemic, the practical, or both. However, developing this alternative view, I will argue that our duties to inquire and take means to answer our questions are just practical in nature. Based on this, I will show that the tension between the epistemic and the zetetic Friedman depicts is just a conflict between the practical and the epistemic: A conflict that does not show per se that the current conception of epistemic normativity is incoherent and needs to be revised. (shrink)

In the Ethics, Spinoza famously rejects freedom of the will. He also offers an error theory for why many believe, falsely, that the will is free. Standard accounts of his arguments for these claims focus on their efficacy against incompatibilist views of free will. For Spinoza, the will cannot be free since it is determined by an infinite chain of external causes. And the pervasive belief in free will arises from a structural limitation of our self-knowledge: because we are aware (...) of our actions but unaware of their causes, we suppose that we alone must be responsible for them. Yet I argue that the standard accounts miss a further element of Spinoza’s arguments that also targets compatibilist views on which free will is consistent with a specific kind of determination—namely, self-determination in accordance with our value judgments. For Spinoza, we are misled not only in supposing that our actions lack external determination but also in thinking that they are determined by our representations of value. In fact, our actions are determined by our appetites, which are blind to our value judgments. And the pervasive belief that our actions are determined by such judgments arises from the projection of value onto the objects we seek. As he denies us free will, then, Spinoza also denies us a capacity central to agency—the capacity to determine our actions in accordance with our ideas of the good. This makes his arguments against free will more consequential, and more radical, than commonly assumed. (shrink)

[This is a pre-print; please cite the published version] This paper employs structural topic modeling (STM) to describe the academic philosophy landscape in Brazil. Based on a public national database, a corpus consisting of 12,515 abstracts of monographs defended in philosophy graduate programs between 1991 and 2021 was compiled. The final STM model identified 74 meaningful research topics, clustered into 7 thematic categories. This study discusses the prevalence of the most significant topics and categories, their trends across three decades, and (...) their (positive or negative) association with the supervisor's gender. Results show the first empirical evidence that Brazilian philosophical research exhibits a greater focus on philosophers than on specific themes or problems. Moreover, by visualizing the variations in topic prevalence over time, it was possible to track the rise or decline of the major interest categories and topics. Finally, results also show which topics are more influenced or less influenced by gender. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

On how medieval philosophy is not (only) theology.

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, (...) class='Hi'>Augusto evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

The aim of this essay is to examine the path of the philosopher of religion Italo Mancini related to his early speculative period on meontology and to show a theoretical consonance with his later period of “double thoughts”. The first part of the contribution argues: it is possible to explain the meontological path as prolegomena to the non-being of being through an in-depth analysis of the notions in his youthful essay “e La struttura dell’essere" e "Il trascendentale come fondamento”, understood (...) as status quaestionis on ontology in general (§1, §2); it presents also why for Mancini transcendence and functionality ground his scheme of possibilities (§3, §4); we define why the fundamental reason why Mancini’s strategy works is entirely based on a theology of oxymorons: starting with double thoughts (§5), as an open and structured path, insofar as thought and revelation appear as a hermeneutic circle (§6); in the last part, we delve into the logic of fragmentariness as an integral principle of religious hermeneutics and, finally, a summary relation between Mancini’s first speculation and the last of his posthumous work “Frammento su Dio” is assessed (§7). (shrink)

This paper critically revises the organisational account of teleology, which argues that living systems are first and foremost oriented towards a goal: maintaining their own conditions of existence. It points out some limitations of this account, mainly in the capability to account for the richness and complexity of biological systems and their purposeful behaviours. It identifies the reason of these limitations in the theoretical grounding of this account, specifically in the too narrow notion of closure of constraints, focused on self-production. (...) It proposes to ground an organisational account of biological teleology in the capability of living system not just to produce and replace their parts, but to control their own internal dynamics and behaviours in such a way as to maintain themselves. This theoretical framework has two advantages. It better captures the distinctive features of biological organisations and consequently the richness and active nature of their purposeful behaviours. By doing so, it makes it possible to apply this framework beyond minimal theoretical models to real biological cases. (shrink)

The aim of this paper is to provide a theoretical framework to understand how multicellular systems realize functionally integrated physiological entities by organizing their intercellular space. From a perspective centered on physiology and integration, biological systems are often characterized as organized in such a way that they realize metabolic self-production and self-maintenance. The existence and activity of their components rely on the network they realize and on the continuous management of the exchange of matter and energy with their environment. One (...) of the virtues of the organismic approach focused on organization is that it can provide an understanding of how biological systems are functionally integrated into coherent wholes. Organismic frameworks have been primarily developed by focusing on unicellular life. Multicellularity, however, presents additional challenges to our understanding of biological systems, related to how cells are capable to live together in higher-order entities, in such a way that some of their features and behaviors are constrained and controlled by the system they realize. Whereas most accounts of multicellularity focus on cell differentiation and increase in size as the main elements to understand biological systems at this level of organization, we argue that these factors are insufficient to provide an understanding of how cells are physically and functionally integrated in a coherent system. In this paper, we provide a new theoretical framework to understand multicellularity, capable to overcome these issues. Our thesis is that one of the fundamental theoretical principles to understand multicellularity, which is missing or underdeveloped in current accounts, is the functional organization of the intercellular space. In our view, the capability to be organized in space plays a central role in this context, as it enables (and allows to exploit all the implications of) cell differentiation and increase in size, and even specialized functions such as immunity. We argue that the extracellular matrix plays a crucial active role in this respect, as an evolutionary ancient and specific (non-cellular) control subsystem that contributes as a key actor to the functional specification of the multicellular space and to modulate cell fate and behavior. We also analyze how multicellular systems exert control upon internal movement and communication. Finally, we show how the organization of space is involved in some of the failures of multicellular organization, such as aging and cancer. (shrink)

Este trabalho trata do conceito Exu Diaspórico, o qual foi forjado para lidar com as pesquisas empíricas situadas dentro do quadro teórico da vaga decolonial. Sua concepção está ligada às tradições iorubanas diaspóricas nessa parte do Atlântico Sul onde emergiram outros sistemas resultantes, quer seja de fragmentos e vestígios de narrativas em gestos de memória e resistência, quer seja da tradução realizada pelo outro, muitas vezes, por meio de um processo de carnavalização cultural, que, por sua vez, se deu pela (...) convivência com os bantu, com os povos autóctones e com o colonizador europeu. Este conceito se articula com o conceito de língua-linguagem como encruzilhada apresentado por Araújo (2021a), mas pode ser tomado, ainda, de forma independente. Portanto, trata-se de uma discussão conceitual que visa contribuir com as reflexões e pesquisas decoloniais. O conceito também está a cargo de noções como negritude e Baianidade. Contudo, ele aparece para reunir todas as representações de Exu que resultaram da diáspora negra em meio a um processo de carnavalização das tradições iorubanas em contato com outras culturas e cosmologias. (shrink)

It is a widespread idea that suspended judgement implies a state of doxastic neutrality. Jane Friedman has recently claimed that while inquiring into a given question, one suspends one’s judgement on it. Jointly considered, the previous claims imply that one is in a state of doxastic neutrality about a given question while inquiring into it. In this article, I explore the leading cases against Friedman’s perspective, arguing that it is debatable whether they exhibit inquiries into questions without doxastic neutrality. However, (...) I will propose the possibility of “explorative disconfirmation inquiries” to show that doxastically non-neutral inquiries do exist. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

The aim of this paper is to present some system-theoretical notions ─ such as constraint, closure, integration, coordination, etc. ─ which have recently raised a renovated interest and have undergone a deep development, especially in those branches of philosophy of biology characterized by a systemic approach. The im- plications of these notions for the analysis and characterization of self-maintaining organizations will be discussed with the aid of examples taken from models of minimal living systems, and some conceptual distinctions will be (...) provided. In the last part of the paper the epistemic implications of these ideas will be presented. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

In this article we analyse the problem of emergence in its diachronic dimension. In other words, we intend to deal with the generation of novelties in natural processes. Our approach aims at integrating some insights coming from Whitehead’s Philosophy of the Process with the epistemological framework developed by the “autopoietic” tradition. Our thesis is that the emergence of new entities and rules of interaction (new “fields of relatedness”) requires the development of discontinuous models of change. From this standpoint natural evolution (...) can be conceived as a succession of emergences — each one realizing a novel “extended” present, described by distinct models — rather than as a single and continuous dynamics. This theoretical and epistemological framework is particularly suitable to the investigation of the origin of life, an emblematic example of this kind of processes. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

This paper focuses on physiological integration in multicellular systems, a notion often associated with biological individuality, but which has not received enough attention and needs a thorough theoretical treatment. Broadly speaking, physiological integration consists in how different components come together into a cohesive unit in which they are dependent on one another for their existence and activity. This paper argues that physiological integration can be understood by considering how the components of a biological multicellular system are controlled and coordinated in (...) such a way that their activities can contribute to the maintenance of the system. The main implication of this perspective is that different ways of controlling their parts may give rise to multicellular organizations with different degrees of integration. After defining control, this paper analyses how control is realized in two examples of multicellular systems located at different ends of the spectrum of multicellularity: biofilms and animals. It focuses on differences in control ranges, and it argues that a high degree of integration implies control exerted at both medium and long ranges, and that insofar as biofilms lack long-range control (relative to their size) they can be considered as less integrated than other multicellular systems. It then discusses the implication of this account for the debate on physiological individuality and the idea that degrees of physiological integration imply degrees of individuality. (shrink)

In Pensare l’infosfera La filosofia come design concettuale, Luciano Floridi states the value of a correct analysis and philosophical responses within the information age we are living in. The aim of this paper is to suggest several ideas for reflecting on some of Floridi’s topics such as the analysis of presence, relationship and semantization. In the second paragraph, after a brief introduction about the author, I will analyse philosophical insights on the relationship between being and determination. In the third paragraph, (...) I am going to suggest the importance of a correct analysis of presence. In the fourth paragraph, a possible analogy between the philosophy of information and a certain form of neo-idealism will be shown. At last, I try to show how the philosophy of information can play a key role in the way we think about reality, but also its possible conceptual risks. (shrink)

Este trabalho trata do conceito Exu Diaspórico, o qual foi forjado para lidar com as pesquisas empíricas situadas dentro do quadro teórico da vaga decolonial. Sua concepção está ligada às tradições iorubanas diaspóricas nessa parte do Atlântico Sul onde emergiram outros sistemas resultantes, quer seja de fragmentos e vestígios de narrativas em gestos de memória e resistência, quer seja da tradução realizada pelo outro, muitas vezes, por meio de um processo de carnavalização cultural, que, por sua vez, se deu pela (...) convivência com os bantu, com os povos autóctones e com o colonizador europeu. Este conceito se articula com o conceito de língua-linguagem como encruzilhada apresentado por Araújo (2021a), mas pode ser tomado, ainda, de forma independente. Portanto, trata-se de uma discussão conceitual que visa contribuir com as reflexões e pesquisas decoloniais. O conceito também está a cargo de noções como negritude e Baianidade. Contudo, ele aparece para reunir todas as representações de Exu que resultaram da diáspora negra em meio a um processo de carnavalização das tradições iorubanas em contato com outras culturas e cosmologias. (shrink)

This paper aims of is to present Richard Rorty’s Philosophy of Education, through his analysis of the education as being divided into two distinct processes: socialization and individualization. Thereafter, it is intended to show two critiques, of conservadorism and elitism, that are addressed to these processes. Finally, a redescription of the Rorty’s positions will be proposed, by assigning a reformist character to its apparent conservatism and a private character to the supposedly elitist individualization, in order to weaken the strength of (...) those critics. (shrink)

Definition The authors’ definition of the autopoietic system has evolved through the years. One of them states that an autopoietic system is organized (defined as a unity) as a network of processes of production (transformation and destruction) of components that produces the components which: (1) through their interactions and transformations regenerate and realize the network of processes (relations) that produced them; and (2) constitute it (the machine) as a concrete unity in the space in which they exist by specifying the (...) topological domain of its realization as such a network (Varela 1979, p. 13). Nearly the same formula was earlier used to define an autopoietic machine (Maturana and Varela 1973/1980, 1984/1987, p. 135). (shrink)